Digital Library

Search: "[ author: Tae Hoon Lee ]" (7)
    Formal Verification of Embedded Java Program
    Tae Hoon Lee , Gi Hwon Kwon The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 931-936, Dec. 2005
    10.3745/KIPSTD.2005.12.7.931


    RFFS: Design of a Reliable NAND Flash File System for Embedded system
    Tae Hoon Lee , Song Hwa Park , Tae Hoon Kim , Sang Gi Lee , Joo Kyong Lee , Ki Dong Chung The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 571-582, Dec. 2005
    10.3745/KIPSTA.2005.12.7.571


    Efficient Counterexample Generation for Safety Violation in Model Checking
    Tae Hoon Lee , Gi Hwon Kwon The KIPS Transactions:PartD, Vol. 12, No. 1, pp. 81-90, Feb. 2005
    10.3745/KIPSTD.2005.12.1.81


    Application of Block Design for an Efficient Conference Key Distribution System
    Tae Hoon Lee, Il Yong Chung The KIPS Transactions:PartC, Vol. 8, No. 3, pp. 271-276, Jun. 2001
    10.3745/KIPSTC.2001.8.3.271


    Design of Voice Conference System using Reliable Multicast
    Ki Pyung Song, Kyung Chul Gu, Chi Hang Park, Gwang Hyun Kim, Tae Hoon Lee The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 7, No. 5, pp. 1525-1535, May. 2000
    10.3745/KIPSTE.2000.7.5.1525


    The Taxonomy Criteria of DoS Attack Pattern for Enhanced Intrusion Detection System
    Kwang Deuk Kim, Seung Kyun Park, Tae Hoon Lee, Sang Ho Lee The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 12, pp. 3606-3612, Dec. 1999
    10.3745/KIPSTE.1999.6.12.3606


    Korean Learning Assistant System with Automatically Extracted Knowledge
    Gi Tae Park , Tae Hoon Lee , So Hyun Hwang , Byeong Man Kim , Hyun Ah Lee , Yoon Sik Shin KIPS Transactions on Software and Data Engineering, Vol. 1, No. 2, pp. 91-102, Nov. 2012
    10.3745/KTSDE.2012.1.2.91


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals